Applying Formal Methods International Worksh... Paperback Published 24 Sep 2004 Save $1.76 RRP $61.51 $59.75 In Stock